4
4.0

audio

#
eye 4

#
favorite 0

#
comment 0

Topics: Radio Program, Special education, Autism, Developmental psychology, Containers, Psychiatric...

Topics: Radio Program, Fraud, Member states of the United Nations, Commercial crimes, Theft, East Asian...

Topics: Radio Program, NPR programs, Pricing, Road transport, Divided regions, Single-party states, Writers...

4
4.0

audio

#
eye 4

#
favorite 0

#
comment 0

Topics: Radio Program, Evaluation, Lambda calculus

A model of the spanwise variation of deviation for stator blades is presented. Deviation is defined as the difference between the passage mean flow angle and the metal angle at the outlet of a blade element of an axial compressor stage. The variation of deviation is taken as the difference above or below that predicted by blade element, (i.e., two-dimensional) theory at any spanwise location. The variation of deviation is dependent upon the blade camber, solidity and inlet boundary layer...

Topics: NASA Technical Reports Server (NTRS), COMPRESSOR BLADES, DEVIATION, MATHEMATICAL MODELS, SECONDARY...

51
51

Jan 4, 2015
01/15

by
Pankaj Oudhia

movies

#
eye 51

#
favorite 0

#
comment 0

Medicinal Rice Formulations of India popular among Senior Oryza Experts. Tertiary/Septenary/Octonary/Nonary/Denary Ingredients of Important Traditional Herbal Formulations from Pankaj Oudhia’s Medicinal Plant Database Medicinal Rice of India with reference to Healing Flora of Andhra Pradesh, Assam, Karnataka, Kerala, Chhattisgarh, Gujarat, Jharkhand, Madhya Pradesh, Maharashtra, Meghalaya, Sikkim, Arunachal Pradesh, Orissa, Rajasthan, Tamilnadu, Punjab, Haryana, West Bengal, Uttarakhand and...

Topics: Mangifera Root Toxicity, Biodiversity Driven Drug Discovery, Oryza Research by Pankaj Oudhia, Vedic...

Topics: Radio Program, Businesspeople from New York City, Radio formats, Debt, Weather, American...

Topics: Radio Program, Transport, Types of organization, Musical groups from New York, Lambda calculus,...

5
5.0

audio

#
eye 5

#
favorite 0

#
comment 0

09:00:00AM-12:00:00PM BST — Danny Kelly 14/10/2019 Your views on the day's big conversation. Call 08081 00 99 56.

Topics: Radio Program, United Kingdom pensions and benefits, Transport, Sustainable transport, Fuels,...

Discussing travel graphs and relating it back to calculus

Topics: motion, calculus, rates

Topics: Radio Program, Training, Commercial item transport and distribution, American football terminology,...

Topics: Radio Program, Oral hygiene, Payment systems, Island countries, Business law, American political...

8
8.0

audio

#
eye 8

#
favorite 0

#
comment 0

Topics: Radio Program, Military, Political terminology, Electrical engineering, Sequenced genomes,...

7
7.0

Sep 23, 2020
09/20

by
Banks, Robert, 1922-2002

texts

#
eye 7

#
favorite 1

#
comment 0

1 online resource (xi, 286 pages) :

Topics: Mathematics -- Popular works, MATHEMATICS -- Essays, MATHEMATICS -- Pre-Calculus, MATHEMATICS --...

Topics: Radio Program, Payment systems, Road safety, Crimes, West End musicals, Olympic medalists,...

4
4.0

audio

#
eye 4

#
favorite 0

#
comment 0

Topics: Radio Program, Shops, American cuisine, Thanksgiving food, Political science terms, International...

Topics: Radio Program, National Association of Independent Colleges and Universities members, Culture,...

A Pascal compiler is described whose target language is the lambda-calculus instead of some machine code. Although the lambda-calculus code generated by this complier can be executed by means of a lambda-expression reducer, the intended use of the translation is in proving programs correct. The complier is written in Pascal itself, and contains an attributed LL(1) parser of the complete standard Pascal language. The error recovery is quite elaborate. The code generalization is done for a large...

Topics: DTIC Archive, Kaltofen, Erich, RENSSELAER POLYTECHNIC INST TROY NY DEPT OF MATHEMATICAL SCIENCES,...

A program is called arithmetical if it is obtained from a flowchart schema under an interpretation in which the domain consists of non-negative integers and the assigned functions and predicates are arithmetical in the sense of Goedel. The computation done by arithmetical programs is characterized in terms of arithmetical predicates. This is a first-order formalization, compared to the second-order, Cooper-Manna formalization. It is shown that for the class of arithmetical programs, the problem...

Topics: DTIC Archive, Abdali, S Kamal, RENSSELAER POLYTECHNIC INST TROY NY DEPT OF MATHEMATICAL SCIENCES,...

Uncertainty management has been considered essential for real world applications, and spatial data and geographic information systems in particular require some means for managing uncertainty and vagueness. Rough sets have been shown to be an effective tool for data mining and uncertainty management in databases. The 9-intersection, region connection calculus (RCC), and egg-yolk methods have proven useful for modeling topological relations in spatial data. In this paper, we apply rough set...

Topics: DTIC Archive, Beaubouef, Theresa, NAVAL RESEARCH LAB STENNIS SPACE CENTER MS MARINE GEOACOUSTICS...

Automated composition of Web Services can be achieved by using AI planning techniques. Hierarchical Task Network (HTN) planning is especially well-suited for this task. In this paper, we describe how HTN planning system SHOP2 can be used with OWL-S Web Service descriptions. We provide a sound and complete algorithm to translate OWL-S service descriptions to a SHOP2 domain. We prove the correctness of the algorithm by showing the correspondence to the situation calculus semantics of OWL-S. We...

Topics: DTIC Archive, Sirin, Evren, MARYLAND UNIV COLLEGE PARK DEPT OF COMPUTER SCIENCE, *ALGORITHMS,...

Let T be an operator defined on the subset U of a Banach space X determined by equality or inequality constraints for a finite number of functionals on X. The necessary conditions that the solution of the minimization problem must satisfy is determined. A case of particular interest is when T has values in L(infinity). Several examples in detail are analyzed to show how the necessary conditions yield detailed information about the solution. The notion of a t-point is introduced and how the...

Topics: DTIC Archive, Fisher,Stephen D, WISCONSIN UNIV MADISON MATHEMATICS RESEARCH CENTER, *PARAMETRIC...

13
13

Jan 14, 2021
01/21

by
Sinclair, Annette

texts

#
eye 13

#
favorite 2

#
comment 0

x, 184 pages : 26 cm

Topic: Calculus

730
730

Aug 10, 2008
08/08

by
Paterson, John, 1801-1883

texts

#
eye 730

#
favorite 0

#
comment 0

Book digitized by Google from the library of the New York Public Library and uploaded to the Internet Archive by user tpb.

Topic: Calculus of operations

Source: http://books.google.com/books?id=hQcAAAAAMAAJ&oe=UTF-8

53
53

Apr 27, 2019
04/19

by
Bliss, Gilbert Ames, 1876-1951

texts

#
eye 53

#
favorite 3

#
comment 0

xiii, 189 p. : 20 cm

Topic: Calculus of variations

8
8.0

Dec 11, 2019
12/19

by
Weiner, Jack

texts

#
eye 8

#
favorite 1

#
comment 0

pages

Topics: Algebra -- Outlines, syllabi, etc, Calculus -- Outlines, syllabi, etc, Algebra, Calculus

Lecture 20 - Calculus And Analytical Geometry, Virtual University of Pakistan by Dr. Faisal Shah Khan

Topics: MTH101, Calculus And Analytical Geometry, Dr. Faisal Shah Khan

The goal is to suggest the scheduling and control functions necessary for accomplishing mission objectives of a fairly autonomous interplanetary mobile spacecraft, while maximizing reliability. Goals are to provide an extensible, reliable system conservative in its use of on-board resources, while getting full value from subsystem autonomy, and avoiding the lure of ground micromanagement. A functional layout consisting of four basic elements is proposed: GROUND and SYSTEM EXECUTIVE system...

Topics: NASA Technical Reports Server (NTRS), ARTIFICIAL INTELLIGENCE, AUTONOMY, CONTROL SYSTEMS DESIGN,...

It is well-known that stresses (and strains) calculated by a displacement-based finite element analysis are generally not as accurate as the displacements. In addition, the calculated stress field is typically discontinuous at element interfaces. Because the stresses are typically of more interest than the displacements, several procedures have been proposed to obtain a smooth stress field, given the finite element stresses, and to improve the accuracy. Hinton and Irons introduced global least...

Topics: NASA Technical Reports Server (NTRS), CALCULUS OF VARIATIONS, DATA SMOOTHING, FINITE ELEMENT...

Topics: Radio Program, American billionaires, American chief executives, Identity, Theft, Crimes, Writers...

This paper documents how eight high school students in a precalculus class enhanced with graphing calculators think about functions. Three models of thinking about functions emerged from students' function images observed over a period of 9 months. In the graph model, students believed that functions are essentially graphs; in the equation model, they believed that functions are relationships between x and y expressed by equations; and in the unique correspondence model, they took "one...

Topics: ERIC Archive, Calculus, Concept Formation, Educational Technology, Foreign Countries, Functions...

The development of the derivative because of being part of calculus in permanent dialectic, demands on one part an analytical, deductive study and on another an application of rochrematic methods, sources of resources, within calculus of derivative which allows to dialectically confront knowledge in its different phases and to test the results. For the purposes of this study, the motivation of the derivative in calculus, the characteristics of motivation, correlation between theory and...

Topics: ERIC Archive, Calculus, Higher Education, Mathematical Concepts, Mathematics Instruction,...

The starting point for this study was the resistant nature of prior knowledge in conceptual change from natural numbers to rational numbers observed in our previous study. Thus, in this study the effects of deliberately teaching the abstraction of the density of numbers on the number line was tested in a quasi-experimental study at the beginning of students' first course in calculus. The results suggest a significant and stable effect in the post test between the test group and control group....

Topics: ERIC Archive, Control Groups, Numbers, Prior Learning, Number Concepts, Calculus, Intervention,...

This study investigated the predictive validity of the Descriptive Tests of Mathematical Skills (DTMS) and the SAT-Mathematics (SAT-M) tests as placement tools for entering students in a small, liberal arts, historically black institution (HBI) using regression analysis. The placement schema is four-tiered: for a remedial algebra course, college algebra course, pre-calculus course, and a first calculus course. Low psychometric indices were found between score earned on the Elementary Algebra...

Topics: ERIC Archive, African American Institutions, Prediction, Test Validity, Calculus, Algebra, College...

The author of this paper submits the thesis that learning requires doing; only through inquiry is learning achieved, and hence this paper proposes a programme of use of a modified Moore method in a Probability and Mathematical Statistics (PAMS) course sequence to teach students PAMS. Furthermore, the author of this paper opines that set theory should be the core of the course's pre-requisite with logic and calculus as antecedents to the set theory, an introduction to the theory of functions as...

Topics: ERIC Archive, Curriculum Design, Inquiry, Active Learning, Logical Thinking, Statistics,...

Putting it all together into one curve sketching menu

Topics: calculus, curve sketching

3
3.0

Dec 11, 2020
12/20

by
Wells, Dave, 1945-

texts

#
eye 3

#
favorite 0

#
comment 0

668 pages : 28 cm

Topics: Functions, Calculus

8
8.0

audio

#
eye 8

#
favorite 0

#
comment 0

Topics: Radio Program, Political science, Fertile Crescent, Western Asia, Levant, Problem solving, Law...

Cornell University Library

1,403
1.4K

Oct 18, 2009
10/09

by
Osgood, William F. (William Fogg), 1864-1943

texts

#
eye 1,403

#
favorite 0

#
comment 0

The metadata below describe the original scanning. Follow the "All Files: HTTP" link in the "View the book" box to the left to find XML files that contain more metadata about the original images and the derived formats (OCR results, PDF etc.). See also the What is the directory structure for the texts? FAQ for information about file content and naming conventions.

Topic: Calculus

38
38

Oct 7, 2014
10/14

by
Funny or Die

movies

#
eye 38

#
favorite 0

#
comment 0

It's a picture of your whole family.

Topics: Funny or Die Video Archive, Christmas card, Greg Burke, Lou Perez, bathroom, calculus, daughter,...

Topics: Geometry, Analytic, Calculus

1,750
1.8K

Feb 24, 2008
02/08

by
Simpson, Thomas, 1710-1761

texts

#
eye 1,750

#
favorite 0

#
comment 0

Book digitized by Google from the library of the New York Public Library and uploaded to the Internet Archive by user tpb.

Topic: Calculus

Source: http://books.google.com/books?id=w4gAAAAAMAAJ&oe=UTF-8

343
343

Oct 9, 2012
10/12

by
Hemming, G. W. (George Wirgman), 1821-1905

texts

#
eye 343

#
favorite 0

#
comment 0

27
27

Oct 24, 2018
10/18

by
KIT Tyabandha

texts

#
eye 27

#
favorite 0

#
comment 0

Examples from a Business Mathematics course (2005 - 6) by KIT

Topics: business, mathematics, integral, calculus

79
79

Jul 26, 2014
07/14

by
Pankaj Oudhia

movies

#
eye 79

#
favorite 0

#
comment 0

Indian states Chhattisgarh and Odisha are rich in Biodiversity. Pankaj Oudhia is documenting Traditional Medicinal Knowledge about herbs and insects since year 1990. This series is an effort to present Herbal Wealth of these states through movies. There are over 15000 movies in this series. Related Links Encyclopedia of Tribal Medicines by Pankaj Oudhia https://archive.org/details/EncyclopediaOfTribalMedicinesByPankajOudhia Compilation of Pankaj Oudhia’s Research and Documentation work on...

Topics: Ethnobotany, Tribal Medicines, Folk Remedies, Medicinal Plants of India, Raw Drugs, Biodiversity,...

425
425

Dec 28, 2013
12/13

by
Patrick Bruskiewich

texts

#
eye 425

#
favorite 0

#
comment 0

To simplify an integral that is a rational function in cos(x) or sin(x), a substitution of the form t = tan(ax/2) will convert the integrand into an ordinary rational function in t. This substitution, is known as the Weierstrass Substitution, and honours the mathematician, Karl Weierstrass (1815-1897) who developed the technique.

Topics: Weierstrass Substitution, Integration, Calculus, mathematics, mathematician, cosine, sine, rational...

116
116

Jul 18, 2019
07/19

by
Sokolnikoff, Ivan Stephen, 1901-

texts

#
eye 116

#
favorite 1

#
comment 0

x, 446 p. :

Topic: Calculus

A basic introduction to the Calculus and Linear Algebra. The goal is to make students mathematically literate in preparation for studying a scientific/engineering discipline. The first week covers differential calculus: graphing functions, limits, derivatives, and applying differentiation to real-world problems, such as maximization and rates of change. The second week covers integral calculus: sums, integration, areas under curves and computing volumes. This is not meant to be a comprehensive...

Topics: ars digita, calculus, linear algebra

We present a dependent-type system for a lambda-calculus with explicit substitutions. In this system, meta-variables, subject reduction, soundness, confluence and weak normalization.

Topics: NASA Technical Reports Server (NTRS), DEPENDENT VARIABLES, FUNCTIONS (MATHEMATICS), CALCULUS,...